What Works Better? A Study of Classifying Requirements

Classifying requirements into functional requirements (FR) and non-functional ones (NFR) is an important task in requirements engineering. However, automated classification of requirements written in natural language is not straightforward, due to the variability of natural language and the absence of a controlled vocabulary. This paper investigates how automated classification of requirements into FR and NFR can be improved and how well several machine learning approaches work in this context. We contribute an approach for preprocessing requirements that standardizes and normalizes requirements before applying classification algorithms. Further, we report on how well several existing machine learning methods perform for automated classification of NFRs into sub-categories such as usability, availability, or performance. Our study is performed on 625 requirements provided by the OpenScience tera-PROMISE repository. We found that our preprocessing improved the performance of an existing classification method. We further found significant differences in the performance of approaches such as Latent Dirichlet Allocation, Biterm Topic Modeling, or Naive Bayes for the sub-classification of NFRs.Comment: 7 pages, the 25th IEEE International Conference on Requirements Engineering (RE'17

Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. This paper presents the major problems of adaptive control systems that use learning to improve performance. The paper then presents the major procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of these adaptive control systems. These technologies include the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, simulation and test methods, and tools to provide on-line software assurance

Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach

Modem aircraft, UAVs, and robotic spacecraft pose substantial requirements on controllers in the light of ever increasing demands for reusability, affordability, and reliability. The individual systems (which are often nonlinear) must be controlled safely and reliably in environments where it is virtually impossible to analyze-ahead of time- all the important and possible scenarios and environmental factors. For example, system components (e.g., gyros, bearings of reaction wheels, valves) may deteriorate or break during autonomous UAV operation or long-lasting space missions, leading to a sudden, drastic change in vehicle performance. Manual repair or replacement is not an option in such cases. Instead, the system must be able to cope with equipment failure and deterioration. Controllability of the system must be retained as good as possible or re-established as fast as possible with a minimum of deactivation or shutdown of the system being controlled. In such situations the control engineer has to employ adaptive control systems that automatically sense and correct themselves whenever drastic disturbances and/or severe changes in the plant or environment occur

Expertenempfehlung: Therapie nichtgehfähiger Patienten mit Muskeldystrophie Duchenne

BACKGROUND Duchenne muscular dystrophy (DMD) is the most frequent genetic neuromuscular disease in childhood with loss of ambulation usually occurring around the age of 9-11 years. OBJECTIVE, MATERIAL AND METHODS Based on current guidelines and clinical trials, neuropediatric and neurological experts developed recommendations for the treatment of nonambulatory DMD patients focusing on drug treatment of adults. This advisory board was sponsored by PTC Therapeutics, the distributers of the substance ataluren. RESULTS AND CONCLUSION Loss of ambulation is heterogeneously defined across clinical trials. Among others, the need of a wheelchair, ambulation without mobility aids or maximum walking distance can be suitable parameters for assessment. Treatment of DMD patients at any stage of the disease is based on supportive and symptomatic measures, which should be continued after loss of ambulation. In addition, disease-modifying drugs are available for the treatment of DMD and glucocorticoids are the usual standard of care treatment even beyond the loss of ambulation. Ataluren, a potentially dystrophin restorative, disease-modifying treatment, has been approved for patients with DMD due to a nonsense mutation (nmDMD), which applies to approximately 13% of DMD patients and is usually combined with steroids. Clinical data from the STRIDE registry demonstrated a delayed disease progression even after loss of ambulation. Currently, no reliable data are available for exon skipping approaches in adult DMD patients. The antioxidant idebenone could be an option in nonambulant adolescent patients not treated with glucocorticoids and without other therapeutic options. A combination treatment of idebenone and glucocorticoids is currently being investigated in a clinical trial. Add-on treatment with idebenone in addition to ataluren may be considered for nonambulant nmDMD patients. Some of the discussed treatment options are still in clinical trials or there are not enough data for older DMD patients; therefore, these expert recommendations correspond to evidence class IV.ZUSAMMENFASSUNG HINTERGRUND: Die Muskeldystrophie Duchenne (DMD) ist die häufigste genetische neuromuskuläre Krankheit im Kindesalter, bei der es meist im Alter von 9 bis 11 Jahren zum Verlust der Gehfähigkeit kommt. ZIEL DER ARBEIT UND MATERIAL UND METHODEN Auf der Grundlage aktueller Leitlinien und Studien erarbeiteten neuropädiatrische und neurologische Experten im Rahmen eines von der Firma PTC Therapeutics GmbH (Frankfurt am Main, Deutschland), die die Substanz Ataluren vertreibt, gesponserten Advisory Boards Empfehlungen zur Behandlung nichtgehfähiger Patienten mit DMD mit Schwerpunkt medikamentöse Therapien von Erwachsenen. ERGEBNISSE UND DISKUSSION Der Verlust der Gehfähigkeit wird in Studien sehr unterschiedlich definiert und bezieht sich u. a. auf die Rollstuhlpflicht, das selbständige Gehen ohne Hilfsmittel oder die maximale Gehstrecke. Grundlage der Therapie von Patienten mit DMD in jedem Krankheitsstadium sind supportive und symptomatische Maßnahmen, die in der Regel auch nach dem Verlust der Gehfähigkeit intensiv weitergeführt werden sollten. Zusätzlich stehen den Patienten medikamentöse Therapien mit dem Ziel der Modifikation des Krankheitsverlaufes zur Verfügung. Glukokortikoide bilden den Stützpfeiler der medikamentösen Therapie auch über den Verlust der Gehfähigkeit hinaus, dann meist in reduzierter Dosis. Für Patienten mit DMD aufgrund einer Nonsense-Mutation (nmDMD), ca. 13 % aller DMD-Patienten, steht Ataluren als potenziell dystrophinwiederherstellende, krankheitsmodifizierende Therapie zur Verfügung; klinische Daten aus dem STRIDE-Register zeigen eine verzögerte Krankheitsprogression auch nach Verlust der Gehfähigkeit. Zum Exon-Skipping liegen für erwachsene Patienten derzeit noch keine belastbaren Daten vor. Das Antioxidans Idebenon kommt bei nichtgehfähigen, jugendlichen Patienten ohne therapeutische Alternative, die nicht mit Glukokortikoiden behandelt werden können, infrage. Ataluren eignet sich zur kombinierten Behandlung mit Glukokortikoiden, eine Kombination von Idebenon und Glukokortikoiden wird derzeit in einer klinischen Studie überprüft. Eine Add-on-Therapie mit Idebenon zusätzlich zu Ataluren ist bei nichtgehfähigen nmDMD-Patienten zu erwägen. Bedingt durch die Tatsache, dass sich einige der diskutierten Therapieoptionen noch in der Phase der klinischen Prüfung befinden oder noch keine oder nur begrenzte Daten für ältere Patienten mit DMD vorliegen, handelt es sich um Expertenempfehlungen entsprechend der Evidenzklasse IV

Die Untersuchung der paläolithischen Freilandstation von Salzgitter-Lebenstedt

researc

Phase 3 trials of ixekizumab in moderate-to-severe plaque psoriasis

BACKGROUND Two phase 3 trials (UNCOVER-2 and UNCOVER-3) showed that at 12 weeks of treatment, ixekizumab, a monoclonal antibody against interleukin-17A, was superior to placebo and etanercept in the treatment of moderate-to-severe psoriasis. We report the 60-week data from the UNCOVER-2 and UNCOVER-3 trials, as well as 12-week and 60-week data from a third phase 3 trial, UNCOVER-1. METHODS We randomly assigned 1296 patients in the UNCOVER-1 trial, 1224 patients in the UNCOVER-2 trial, and 1346 patients in the UNCOVER-3 trial to receive subcutaneous injections of placebo (placebo group), 80 mg of ixekizumab every 2 weeks after a starting dose of 160 mg (2-wk dosing group), or 80 mg of ixekizumab every 4 weeks after a starting dose of 160 mg (4-wk dosing group). Additional cohorts in the UNCOVER-2 and UNCOVER-3 trials were randomly assigned to receive 50 mg of etanercept twice weekly. At week 12 in the UNCOVER-3 trial, the patients entered a long-term extension period during which they received 80 mg of ixekizumab every 4 weeks through week 60; at week 12 in the UNCOVER-1 and UNCOVER-2 trials, the patients who had a response to ixekizumab (defined as a static Physicians Global Assessment [sPGA] score of 0 [clear] or 1 [minimal psoriasis]) were randomly reassigned to receive placebo, 80 mg of ixekizumab every 4 weeks, or 80 mg of ixekizumab every 12 weeks through week 60. Coprimary end points were the percentage of patients who had a score on the sPGA of 0 or 1 and a 75% or greater reduction from baseline in Psoriasis Area and Severity Index (PASI 75) at week 12. RESULTS In the UNCOVER-1 trial, at week 12, the patients had better responses to ixekizumab than to placebo; in the 2-wk dosing group, 81.8% had an sPGA score of 0 or 1 and 89.1% had a PASI 75 response; in the 4-wk dosing group, the respective rates were 76.4% and 82.6%; and in the placebo group, the rates were 3.2% and 3.9% (P<0.001 for all comparisons of ixekizumab with placebo). In the UNCOVER-1 and UNCOVER-2 trials, among the patients who were randomly reassigned at week 12 to receive 80 mg of ixekizumab every 4 weeks, 80 mg of ixekizumab every 12 weeks, or placebo, an sPGA score of 0 or 1 was maintained by 73.8%, 39.0%, and 7.0% of the patients, respectively. Patients in the UNCOVER-3 trial received continuous treatment of ixekizumab from weeks 0 through 60, and at week 60, at least 73% had an sPGA score of 0 or 1 and at least 80% had a PASI 75 response. Adverse events reported during ixekizumab use included neutropenia, candidal infections, and inflammatory bowel disease. CONCLUSIONS In three phase 3 trials involving patients with psoriasis, ixekizumab was effective through 60 weeks of treatment. As with any treatment, the benefits need to be weighed against the risks of adverse events. The efficacy and safety of ixekizumab beyond 60 weeks of treatment are not yet known

Anatomy of the sign-problem in heavy-dense QCD

QCD at finite densities of heavy quarks is investigated using the density-of-states method. The phase factor expectation value of the quark determinant is calculated to unprecedented precision as a function of the chemical potential. Results are validated using those from a reweighting approach where the latter can produce a significant signalto-noise ratio. We confirm the particle–hole symmetry at low temperatures, find a strong sign problem at intermediate values of the chemical potential, and an inverse Silver Blaze feature for chemical potentials close to the onset value: here, the phase-quenched theory underestimates the density of the full theory

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements